3.26.46 \(\int (a+b x)^m (c+d x)^{-1-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{-1+\frac {(b c-a d) f (1+m)}{b (d e-c f)}} \, dx\)

Optimal. Leaf size=101 \[ \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \]

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 101, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 77, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.013, Rules used = {95} \begin {gather*} \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x)^m*(c + d*x)^(-1 - (d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f)))*(e + f*x)^(-1 + ((b*c - a*d)*f*(1 + m
))/(b*(d*e - c*f))),x]

[Out]

(b*(a + b*x)^(1 + m)*(e + f*x)^(((b*c - a*d)*f*(1 + m))/(b*(d*e - c*f))))/((b*c - a*d)*(b*e - a*f)*(1 + m)*(c
+ d*x)^((d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f))))

Rule 95

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Simp[(b*(a +
b*x)^(m + 1)*(c + d*x)^(n + 1)*(e + f*x)^(p + 1))/((m + 1)*(b*c - a*d)*(b*e - a*f)), x] /; FreeQ[{a, b, c, d,
e, f, m, n, p}, x] && EqQ[Simplify[m + n + p + 3], 0] && EqQ[a*d*f*(m + 1) + b*c*f*(n + 1) + b*d*e*(p + 1), 0
] && NeQ[m, -1]

Rubi steps

\begin {align*} \int (a+b x)^m (c+d x)^{-1-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{-1+\frac {(b c-a d) f (1+m)}{b (d e-c f)}} \, dx &=\frac {b (a+b x)^{1+m} (c+d x)^{-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{\frac {(b c-a d) f (1+m)}{b (d e-c f)}}}{(b c-a d) (b e-a f) (1+m)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.13, size = 101, normalized size = 1.00 \begin {gather*} \frac {b (a+b x)^{m+1} (c+d x)^{-\frac {d (m+1) (b e-a f)}{b (d e-c f)}} (e+f x)^{\frac {f (m+1) (b c-a d)}{b (d e-c f)}}}{(m+1) (b c-a d) (b e-a f)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x)^m*(c + d*x)^(-1 - (d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f)))*(e + f*x)^(-1 + ((b*c - a*d)*f*
(1 + m))/(b*(d*e - c*f))),x]

[Out]

(b*(a + b*x)^(1 + m)*(e + f*x)^(((b*c - a*d)*f*(1 + m))/(b*(d*e - c*f))))/((b*c - a*d)*(b*e - a*f)*(1 + m)*(c
+ d*x)^((d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f))))

________________________________________________________________________________________

IntegrateAlgebraic [F]  time = 1.10, size = 0, normalized size = 0.00 \begin {gather*} \int (a+b x)^m (c+d x)^{-1-\frac {d (b e-a f) (1+m)}{b (d e-c f)}} (e+f x)^{-1+\frac {(b c-a d) f (1+m)}{b (d e-c f)}} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

IntegrateAlgebraic[(a + b*x)^m*(c + d*x)^(-1 - (d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f)))*(e + f*x)^(-1 + ((b*c
- a*d)*f*(1 + m))/(b*(d*e - c*f))),x]

[Out]

Defer[IntegrateAlgebraic][(a + b*x)^m*(c + d*x)^(-1 - (d*(b*e - a*f)*(1 + m))/(b*(d*e - c*f)))*(e + f*x)^(-1 +
((b*c - a*d)*f*(1 + m))/(b*(d*e - c*f))), x]

________________________________________________________________________________________

fricas [B]  time = 1.58, size = 225, normalized size = 2.23 \begin {gather*} \frac {{\left (b^{2} d f x^{3} + a b c e + {\left (b^{2} d e + {\left (b^{2} c + a b d\right )} f\right )} x^{2} + {\left (a b c f + {\left (b^{2} c + a b d\right )} e\right )} x\right )} {\left (b x + a\right )}^{m}}{{\left ({\left (b^{2} c - a b d\right )} e - {\left (a b c - a^{2} d\right )} f + {\left ({\left (b^{2} c - a b d\right )} e - {\left (a b c - a^{2} d\right )} f\right )} m\right )} {\left (d x + c\right )}^{\frac {2 \, b d e - {\left (b c + a d\right )} f + {\left (b d e - a d f\right )} m}{b d e - b c f}} {\left (f x + e\right )}^{\frac {b d e - {\left (b c - a d\right )} f m - {\left (2 \, b c - a d\right )} f}{b d e - b c f}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^m*(d*x+c)^(-1-d*(-a*f+b*e)*(1+m)/b/(-c*f+d*e))*(f*x+e)^(-1+(-a*d+b*c)*f*(1+m)/b/(-c*f+d*e)),
x, algorithm="fricas")

[Out]

(b^2*d*f*x^3 + a*b*c*e + (b^2*d*e + (b^2*c + a*b*d)*f)*x^2 + (a*b*c*f + (b^2*c + a*b*d)*e)*x)*(b*x + a)^m/(((b
^2*c - a*b*d)*e - (a*b*c - a^2*d)*f + ((b^2*c - a*b*d)*e - (a*b*c - a^2*d)*f)*m)*(d*x + c)^((2*b*d*e - (b*c +
a*d)*f + (b*d*e - a*d*f)*m)/(b*d*e - b*c*f))*(f*x + e)^((b*d*e - (b*c - a*d)*f*m - (2*b*c - a*d)*f)/(b*d*e - b
*c*f)))

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int {\left (b x + a\right )}^{m} {\left (d x + c\right )}^{-\frac {{\left (b e - a f\right )} d {\left (m + 1\right )}}{{\left (d e - c f\right )} b} - 1} {\left (f x + e\right )}^{\frac {{\left (b c - a d\right )} f {\left (m + 1\right )}}{{\left (d e - c f\right )} b} - 1}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^m*(d*x+c)^(-1-d*(-a*f+b*e)*(1+m)/b/(-c*f+d*e))*(f*x+e)^(-1+(-a*d+b*c)*f*(1+m)/b/(-c*f+d*e)),
x, algorithm="giac")

[Out]

integrate((b*x + a)^m*(d*x + c)^(-(b*e - a*f)*d*(m + 1)/((d*e - c*f)*b) - 1)*(f*x + e)^((b*c - a*d)*f*(m + 1)/
((d*e - c*f)*b) - 1), x)

________________________________________________________________________________________

maple [A]  time = 0.01, size = 162, normalized size = 1.60 \begin {gather*} \frac {b \left (b x +a \right )^{m +1} \left (d x +c \right )^{-\frac {a d f m -b d e m +a d f +b c f -2 b d e}{\left (c f -d e \right ) b}+1} \left (f x +e \right )^{\frac {a d f m -b c f m +a d f -2 b c f +b d e}{\left (c f -d e \right ) b}+1}}{a^{2} d f m -a b c f m -a b d e m +b^{2} c e m +a^{2} d f -a b c f -a b d e +b^{2} c e} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x+a)^m*(d*x+c)^(-1-d*(-a*f+b*e)*(m+1)/b/(-c*f+d*e))*(f*x+e)^(-1+(-a*d+b*c)*f*(m+1)/b/(-c*f+d*e)),x)

[Out]

(f*x+e)^(1+(a*d*f*m-b*c*f*m+a*d*f-2*b*c*f+b*d*e)/b/(c*f-d*e))*(d*x+c)^(1-(a*d*f*m-b*d*e*m+a*d*f+b*c*f-2*b*d*e)
/b/(c*f-d*e))*b*(b*x+a)^(m+1)/(a^2*d*f*m-a*b*c*f*m-a*b*d*e*m+b^2*c*e*m+a^2*d*f-a*b*c*f-a*b*d*e+b^2*c*e)

________________________________________________________________________________________

maxima [B]  time = 1.23, size = 230, normalized size = 2.28 \begin {gather*} \frac {{\left (b^{2} x + a b\right )} e^{\left (\frac {a d f m \log \left (d x + c\right )}{b d e - b c f} - \frac {a d f m \log \left (f x + e\right )}{b d e - b c f} + \frac {a d f \log \left (d x + c\right )}{b d e - b c f} - \frac {d e m \log \left (d x + c\right )}{d e - c f} - \frac {a d f \log \left (f x + e\right )}{b d e - b c f} + \frac {c f m \log \left (f x + e\right )}{d e - c f} + m \log \left (b x + a\right ) - \frac {d e \log \left (d x + c\right )}{d e - c f} + \frac {c f \log \left (f x + e\right )}{d e - c f}\right )}}{b^{2} c e {\left (m + 1\right )} + a^{2} d f {\left (m + 1\right )} - {\left (d e {\left (m + 1\right )} + c f {\left (m + 1\right )}\right )} a b} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^m*(d*x+c)^(-1-d*(-a*f+b*e)*(1+m)/b/(-c*f+d*e))*(f*x+e)^(-1+(-a*d+b*c)*f*(1+m)/b/(-c*f+d*e)),
x, algorithm="maxima")

[Out]

(b^2*x + a*b)*e^(a*d*f*m*log(d*x + c)/(b*d*e - b*c*f) - a*d*f*m*log(f*x + e)/(b*d*e - b*c*f) + a*d*f*log(d*x +
c)/(b*d*e - b*c*f) - d*e*m*log(d*x + c)/(d*e - c*f) - a*d*f*log(f*x + e)/(b*d*e - b*c*f) + c*f*m*log(f*x + e)
/(d*e - c*f) + m*log(b*x + a) - d*e*log(d*x + c)/(d*e - c*f) + c*f*log(f*x + e)/(d*e - c*f))/(b^2*c*e*(m + 1)
+ a^2*d*f*(m + 1) - (d*e*(m + 1) + c*f*(m + 1))*a*b)

________________________________________________________________________________________

mupad [B]  time = 3.66, size = 354, normalized size = 3.50 \begin {gather*} \frac {\frac {x^2\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m\,\left (b^2\,c\,f+b^2\,d\,e+a\,b\,d\,f\right )}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {b\,x\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m\,\left (a\,c\,f+a\,d\,e+b\,c\,e\right )}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {b^2\,d\,f\,x^3\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}+\frac {a\,b\,c\,e\,{\left (e+f\,x\right )}^{\frac {f\,\left (a\,d-b\,c\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}-1}\,{\left (a+b\,x\right )}^m}{\left (a\,d-b\,c\right )\,\left (a\,f-b\,e\right )\,\left (m+1\right )}}{{\left (c+d\,x\right )}^{\frac {d\,\left (a\,f-b\,e\right )\,\left (m+1\right )}{b\,\left (c\,f-d\,e\right )}+1}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((e + f*x)^((f*(a*d - b*c)*(m + 1))/(b*(c*f - d*e)) - 1)*(a + b*x)^m)/(c + d*x)^((d*(a*f - b*e)*(m + 1))/(
b*(c*f - d*e)) + 1),x)

[Out]

((x^2*(e + f*x)^((f*(a*d - b*c)*(m + 1))/(b*(c*f - d*e)) - 1)*(a + b*x)^m*(b^2*c*f + b^2*d*e + a*b*d*f))/((a*d
- b*c)*(a*f - b*e)*(m + 1)) + (b*x*(e + f*x)^((f*(a*d - b*c)*(m + 1))/(b*(c*f - d*e)) - 1)*(a + b*x)^m*(a*c*f
+ a*d*e + b*c*e))/((a*d - b*c)*(a*f - b*e)*(m + 1)) + (b^2*d*f*x^3*(e + f*x)^((f*(a*d - b*c)*(m + 1))/(b*(c*f
- d*e)) - 1)*(a + b*x)^m)/((a*d - b*c)*(a*f - b*e)*(m + 1)) + (a*b*c*e*(e + f*x)^((f*(a*d - b*c)*(m + 1))/(b*
(c*f - d*e)) - 1)*(a + b*x)^m)/((a*d - b*c)*(a*f - b*e)*(m + 1)))/(c + d*x)^((d*(a*f - b*e)*(m + 1))/(b*(c*f -
d*e)) + 1)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)**m*(d*x+c)**(-1-d*(-a*f+b*e)*(1+m)/b/(-c*f+d*e))*(f*x+e)**(-1+(-a*d+b*c)*f*(1+m)/b/(-c*f+d*e
)),x)

[Out]

Timed out

________________________________________________________________________________________